261. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
Author: Vladimir Lifschitz, Ilkka Niemela )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
262. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
Author: Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
263. Logic programming and soft computing
Author: / edited by T.P. Martin and F. Arcelli Fontana
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic programming,Soft computing
Classification :
QA76
.
63
.
L63234
1998
264. Logic programming and soft computing
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming,Soft computing I.Martin,T.P.II.Arcelli fontana.III.series
Classification :
QA76
.
63
.
L632
1998
265. Logic programming and soft computing
Author: edited by T.P. Martin, F. Arcelli Fontana
Library: (Semnan)
Subject: ، Logic programming,، Soft computing
Classification :
QA
76
.
63
.
L63
266. Logic programming : formal methods and practical applications
Author: edited by Christoph Beierle, Lutz Plumer
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming
Classification :
QA
76
.
63
.
L63294
1995
267. Logic programming, functions, relations, and equations
Author: / (edited by) Doug DeGroot, Gary Lindstrom
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Logic programming,Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
L5885
1986
268. Logic programming in action: Second international Logic programming summer school, LPSS'92: proceedings
Author: G. Comyn, N.E. Fuchs, M. Ratcliffe )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
269. Logic programming in action; Second international logic programming Summer School, LPSS'92, Zurich, Switzerland, September 7-11, 1992: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses
Classification :
QA
76
.
63
.
L66
1992
270. Logic programming & knowledge engineering
Author: AMBLE,TORE
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: LOGIC PROGRAMMING , EXPERT SYSTEMS )COMPUTER SCIENCE(
Classification :
QA
76
.
6
.
A464
271. Logic programming, knowledge representation, and nonmonotonic reasoning
Author: [edited by]& Marcello Balduccini, Tran Cao Son
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
272. Logic programming, knowledge representation, and nonmonotonic reasoning :
Author: Marcello Balduccini, Tran Cao Son (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Gelfond, Michael,Logic programming,Nonmonotonic reasoning
273. Logic programming languages :
Author: edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming languages.
Classification :
QA76
.
63
E358
1993
274. Logic programming '88: proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses
Classification :
QA
76
.
63
.
L63
1989
275. Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
Author: edited by Eiiti Wada
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L4
v
.
221
276. Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses
Classification :
QA
76
.
6
.
L58762
1988
277. Logic programming: prolog and stream parallel languages
Author: Newmarch, Jan Dennis
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
Classification :
QA
76
.
63
.
N48
278. Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Author: Maurizio Gabbrielli, Gopal Gupta )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
279. Logic programming: 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings
Author: Maurizio Gabbrielli, Gopal Gupta )eds.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Logic programming,Congrغs ، Programmation logique,، Logisch programmeren,، Programmation logique
Classification :
QA
76
.
63
.
I563
2005
280. Logic programming:systematic program development
Author: Deville,Yves 0991
Library: Central library and Documentation Center (Zanjan)
Subject: etupmoCA smetsys,gnimmargorp segaugnal
Classification :
QA
76
.
63
.
D43
1990
